Optimal. Leaf size=372 \[ \frac {2 b^2 d^3 n^2 x (f x)^{-1+m}}{m^3}+\frac {3 b^2 d^2 e n^2 x^{1+m} (f x)^{-1+m}}{4 m^3}+\frac {2 b^2 d e^2 n^2 x^{1+2 m} (f x)^{-1+m}}{9 m^3}+\frac {b^2 e^3 n^2 x^{1+3 m} (f x)^{-1+m}}{32 m^3}+\frac {b^2 d^4 n^2 x^{1-m} (f x)^{-1+m} \log ^2(x)}{4 e m}-\frac {2 b d^3 n x (f x)^{-1+m} \left (a+b \log \left (c x^n\right )\right )}{m^2}-\frac {3 b d^2 e n x^{1+m} (f x)^{-1+m} \left (a+b \log \left (c x^n\right )\right )}{2 m^2}-\frac {2 b d e^2 n x^{1+2 m} (f x)^{-1+m} \left (a+b \log \left (c x^n\right )\right )}{3 m^2}-\frac {b e^3 n x^{1+3 m} (f x)^{-1+m} \left (a+b \log \left (c x^n\right )\right )}{8 m^2}-\frac {b d^4 n x^{1-m} (f x)^{-1+m} \log (x) \left (a+b \log \left (c x^n\right )\right )}{2 e m}+\frac {x^{1-m} (f x)^{-1+m} \left (d+e x^m\right )^4 \left (a+b \log \left (c x^n\right )\right )^2}{4 e m} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.34, antiderivative size = 372, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 7, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.241, Rules used = {2377, 2376,
272, 45, 2372, 14, 2338} \begin {gather*} -\frac {b d^4 n x^{1-m} \log (x) (f x)^{m-1} \left (a+b \log \left (c x^n\right )\right )}{2 e m}-\frac {2 b d^3 n x (f x)^{m-1} \left (a+b \log \left (c x^n\right )\right )}{m^2}-\frac {3 b d^2 e n x^{m+1} (f x)^{m-1} \left (a+b \log \left (c x^n\right )\right )}{2 m^2}-\frac {2 b d e^2 n x^{2 m+1} (f x)^{m-1} \left (a+b \log \left (c x^n\right )\right )}{3 m^2}+\frac {x^{1-m} (f x)^{m-1} \left (d+e x^m\right )^4 \left (a+b \log \left (c x^n\right )\right )^2}{4 e m}-\frac {b e^3 n x^{3 m+1} (f x)^{m-1} \left (a+b \log \left (c x^n\right )\right )}{8 m^2}+\frac {b^2 d^4 n^2 x^{1-m} \log ^2(x) (f x)^{m-1}}{4 e m}+\frac {2 b^2 d^3 n^2 x (f x)^{m-1}}{m^3}+\frac {3 b^2 d^2 e n^2 x^{m+1} (f x)^{m-1}}{4 m^3}+\frac {2 b^2 d e^2 n^2 x^{2 m+1} (f x)^{m-1}}{9 m^3}+\frac {b^2 e^3 n^2 x^{3 m+1} (f x)^{m-1}}{32 m^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 45
Rule 272
Rule 2338
Rule 2372
Rule 2376
Rule 2377
Rubi steps
\begin {align*} \int (f x)^{-1+m} \left (d+e x^m\right )^3 \left (a+b \log \left (c x^n\right )\right )^2 \, dx &=\left (x^{1-m} (f x)^{-1+m}\right ) \int x^{-1+m} \left (d+e x^m\right )^3 \left (a+b \log \left (c x^n\right )\right )^2 \, dx\\ &=\frac {x^{1-m} (f x)^{-1+m} \left (d+e x^m\right )^4 \left (a+b \log \left (c x^n\right )\right )^2}{4 e m}-\frac {\left (b n x^{1-m} (f x)^{-1+m}\right ) \int \frac {\left (d+e x^m\right )^4 \left (a+b \log \left (c x^n\right )\right )}{x} \, dx}{2 e m}\\ &=-\frac {b n x^{1-m} (f x)^{-1+m} \left (\frac {48 d^3 e x^m}{m}+\frac {36 d^2 e^2 x^{2 m}}{m}+\frac {16 d e^3 x^{3 m}}{m}+\frac {3 e^4 x^{4 m}}{m}+12 d^4 \log (x)\right ) \left (a+b \log \left (c x^n\right )\right )}{24 e m}+\frac {x^{1-m} (f x)^{-1+m} \left (d+e x^m\right )^4 \left (a+b \log \left (c x^n\right )\right )^2}{4 e m}+\frac {\left (b^2 n^2 x^{1-m} (f x)^{-1+m}\right ) \int \left (\frac {e x^{-1+m} \left (48 d^3+36 d^2 e x^m+16 d e^2 x^{2 m}+3 e^3 x^{3 m}\right )}{12 m}+\frac {d^4 \log (x)}{x}\right ) \, dx}{2 e m}\\ &=-\frac {b n x^{1-m} (f x)^{-1+m} \left (\frac {48 d^3 e x^m}{m}+\frac {36 d^2 e^2 x^{2 m}}{m}+\frac {16 d e^3 x^{3 m}}{m}+\frac {3 e^4 x^{4 m}}{m}+12 d^4 \log (x)\right ) \left (a+b \log \left (c x^n\right )\right )}{24 e m}+\frac {x^{1-m} (f x)^{-1+m} \left (d+e x^m\right )^4 \left (a+b \log \left (c x^n\right )\right )^2}{4 e m}+\frac {\left (b^2 n^2 x^{1-m} (f x)^{-1+m}\right ) \int x^{-1+m} \left (48 d^3+36 d^2 e x^m+16 d e^2 x^{2 m}+3 e^3 x^{3 m}\right ) \, dx}{24 m^2}+\frac {\left (b^2 d^4 n^2 x^{1-m} (f x)^{-1+m}\right ) \int \frac {\log (x)}{x} \, dx}{2 e m}\\ &=\frac {b^2 d^4 n^2 x^{1-m} (f x)^{-1+m} \log ^2(x)}{4 e m}-\frac {b n x^{1-m} (f x)^{-1+m} \left (\frac {48 d^3 e x^m}{m}+\frac {36 d^2 e^2 x^{2 m}}{m}+\frac {16 d e^3 x^{3 m}}{m}+\frac {3 e^4 x^{4 m}}{m}+12 d^4 \log (x)\right ) \left (a+b \log \left (c x^n\right )\right )}{24 e m}+\frac {x^{1-m} (f x)^{-1+m} \left (d+e x^m\right )^4 \left (a+b \log \left (c x^n\right )\right )^2}{4 e m}+\frac {\left (b^2 n^2 x^{1-m} (f x)^{-1+m}\right ) \int \left (48 d^3 x^{-1+m}+36 d^2 e x^{-1+2 m}+16 d e^2 x^{-1+3 m}+3 e^3 x^{-1+4 m}\right ) \, dx}{24 m^2}\\ &=\frac {2 b^2 d^3 n^2 x (f x)^{-1+m}}{m^3}+\frac {3 b^2 d^2 e n^2 x^{1+m} (f x)^{-1+m}}{4 m^3}+\frac {2 b^2 d e^2 n^2 x^{1+2 m} (f x)^{-1+m}}{9 m^3}+\frac {b^2 e^3 n^2 x^{1+3 m} (f x)^{-1+m}}{32 m^3}+\frac {b^2 d^4 n^2 x^{1-m} (f x)^{-1+m} \log ^2(x)}{4 e m}-\frac {b n x^{1-m} (f x)^{-1+m} \left (\frac {48 d^3 e x^m}{m}+\frac {36 d^2 e^2 x^{2 m}}{m}+\frac {16 d e^3 x^{3 m}}{m}+\frac {3 e^4 x^{4 m}}{m}+12 d^4 \log (x)\right ) \left (a+b \log \left (c x^n\right )\right )}{24 e m}+\frac {x^{1-m} (f x)^{-1+m} \left (d+e x^m\right )^4 \left (a+b \log \left (c x^n\right )\right )^2}{4 e m}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.17, size = 285, normalized size = 0.77 \begin {gather*} \frac {(f x)^m \left (72 a^2 m^2 \left (4 d^3+6 d^2 e x^m+4 d e^2 x^{2 m}+e^3 x^{3 m}\right )-12 a b m n \left (48 d^3+36 d^2 e x^m+16 d e^2 x^{2 m}+3 e^3 x^{3 m}\right )+b^2 n^2 \left (576 d^3+216 d^2 e x^m+64 d e^2 x^{2 m}+9 e^3 x^{3 m}\right )+12 b m \left (12 a m \left (4 d^3+6 d^2 e x^m+4 d e^2 x^{2 m}+e^3 x^{3 m}\right )-b n \left (48 d^3+36 d^2 e x^m+16 d e^2 x^{2 m}+3 e^3 x^{3 m}\right )\right ) \log \left (c x^n\right )+72 b^2 m^2 \left (4 d^3+6 d^2 e x^m+4 d e^2 x^{2 m}+e^3 x^{3 m}\right ) \log ^2\left (c x^n\right )\right )}{288 f m^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.44, size = 4156, normalized size = 11.17
method | result | size |
risch | \(\text {Expression too large to display}\) | \(4156\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.31, size = 585, normalized size = 1.57 \begin {gather*} \frac {3 \, b^{2} d^{2} f^{m - 1} e^{\left (2 \, m \log \left (x\right ) + 1\right )} \log \left (c x^{n}\right )^{2}}{2 \, m} - 2 \, {\left (\frac {f^{m - 1} n x^{m} \log \left (c x^{n}\right )}{m^{2}} - \frac {f^{m - 1} n^{2} x^{m}}{m^{3}}\right )} b^{2} d^{3} - \frac {2 \, a b d^{3} f^{m - 1} n x^{m}}{m^{2}} - \frac {3}{4} \, {\left (\frac {2 \, f^{m - 1} n x^{2 \, m} \log \left (c x^{n}\right )}{m^{2}} - \frac {f^{m - 1} n^{2} x^{2 \, m}}{m^{3}}\right )} b^{2} d^{2} e + \frac {3 \, a b d^{2} f^{m - 1} e^{\left (2 \, m \log \left (x\right ) + 1\right )} \log \left (c x^{n}\right )}{m} + \frac {\left (f x\right )^{m} b^{2} d^{3} \log \left (c x^{n}\right )^{2}}{f m} + \frac {b^{2} d f^{m - 1} e^{\left (3 \, m \log \left (x\right ) + 2\right )} \log \left (c x^{n}\right )^{2}}{m} - \frac {2}{9} \, {\left (\frac {3 \, f^{m - 1} n x^{3 \, m} \log \left (c x^{n}\right )}{m^{2}} - \frac {f^{m - 1} n^{2} x^{3 \, m}}{m^{3}}\right )} b^{2} d e^{2} + \frac {3 \, a^{2} d^{2} f^{m - 1} e^{\left (2 \, m \log \left (x\right ) + 1\right )}}{2 \, m} - \frac {3 \, a b d^{2} f^{m - 1} n e^{\left (2 \, m \log \left (x\right ) + 1\right )}}{2 \, m^{2}} + \frac {2 \, \left (f x\right )^{m} a b d^{3} \log \left (c x^{n}\right )}{f m} + \frac {2 \, a b d f^{m - 1} e^{\left (3 \, m \log \left (x\right ) + 2\right )} \log \left (c x^{n}\right )}{m} + \frac {b^{2} f^{m - 1} e^{\left (4 \, m \log \left (x\right ) + 3\right )} \log \left (c x^{n}\right )^{2}}{4 \, m} + \frac {\left (f x\right )^{m} a^{2} d^{3}}{f m} - \frac {1}{32} \, {\left (\frac {4 \, f^{m - 1} n x^{4 \, m} \log \left (c x^{n}\right )}{m^{2}} - \frac {f^{m - 1} n^{2} x^{4 \, m}}{m^{3}}\right )} b^{2} e^{3} + \frac {a^{2} d f^{m - 1} e^{\left (3 \, m \log \left (x\right ) + 2\right )}}{m} - \frac {2 \, a b d f^{m - 1} n e^{\left (3 \, m \log \left (x\right ) + 2\right )}}{3 \, m^{2}} + \frac {a b f^{m - 1} e^{\left (4 \, m \log \left (x\right ) + 3\right )} \log \left (c x^{n}\right )}{2 \, m} + \frac {a^{2} f^{m - 1} e^{\left (4 \, m \log \left (x\right ) + 3\right )}}{4 \, m} - \frac {a b f^{m - 1} n e^{\left (4 \, m \log \left (x\right ) + 3\right )}}{8 \, m^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.39, size = 570, normalized size = 1.53 \begin {gather*} \frac {9 \, {\left (8 \, b^{2} m^{2} n^{2} e^{3} \log \left (x\right )^{2} + 8 \, b^{2} m^{2} e^{3} \log \left (c\right )^{2} + 4 \, {\left (4 \, a b m^{2} - b^{2} m n\right )} e^{3} \log \left (c\right ) + {\left (8 \, a^{2} m^{2} - 4 \, a b m n + b^{2} n^{2}\right )} e^{3} + 4 \, {\left (4 \, b^{2} m^{2} n e^{3} \log \left (c\right ) + {\left (4 \, a b m^{2} n - b^{2} m n^{2}\right )} e^{3}\right )} \log \left (x\right )\right )} f^{m - 1} x^{4 \, m} + 32 \, {\left (9 \, b^{2} d m^{2} n^{2} e^{2} \log \left (x\right )^{2} + 9 \, b^{2} d m^{2} e^{2} \log \left (c\right )^{2} + 6 \, {\left (3 \, a b d m^{2} - b^{2} d m n\right )} e^{2} \log \left (c\right ) + {\left (9 \, a^{2} d m^{2} - 6 \, a b d m n + 2 \, b^{2} d n^{2}\right )} e^{2} + 6 \, {\left (3 \, b^{2} d m^{2} n e^{2} \log \left (c\right ) + {\left (3 \, a b d m^{2} n - b^{2} d m n^{2}\right )} e^{2}\right )} \log \left (x\right )\right )} f^{m - 1} x^{3 \, m} + 216 \, {\left (2 \, b^{2} d^{2} m^{2} n^{2} e \log \left (x\right )^{2} + 2 \, b^{2} d^{2} m^{2} e \log \left (c\right )^{2} + 2 \, {\left (2 \, a b d^{2} m^{2} - b^{2} d^{2} m n\right )} e \log \left (c\right ) + {\left (2 \, a^{2} d^{2} m^{2} - 2 \, a b d^{2} m n + b^{2} d^{2} n^{2}\right )} e + 2 \, {\left (2 \, b^{2} d^{2} m^{2} n e \log \left (c\right ) + {\left (2 \, a b d^{2} m^{2} n - b^{2} d^{2} m n^{2}\right )} e\right )} \log \left (x\right )\right )} f^{m - 1} x^{2 \, m} + 288 \, {\left (b^{2} d^{3} m^{2} n^{2} \log \left (x\right )^{2} + b^{2} d^{3} m^{2} \log \left (c\right )^{2} + a^{2} d^{3} m^{2} - 2 \, a b d^{3} m n + 2 \, b^{2} d^{3} n^{2} + 2 \, {\left (a b d^{3} m^{2} - b^{2} d^{3} m n\right )} \log \left (c\right ) + 2 \, {\left (b^{2} d^{3} m^{2} n \log \left (c\right ) + a b d^{3} m^{2} n - b^{2} d^{3} m n^{2}\right )} \log \left (x\right )\right )} f^{m - 1} x^{m}}{288 \, m^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 985 vs.
\(2 (350) = 700\).
time = 7.28, size = 985, normalized size = 2.65 \begin {gather*} \frac {b^{2} d^{3} f^{m} n^{2} x^{m} \log \left (x\right )^{2}}{f m} + \frac {3 \, b^{2} d^{2} f^{m} n^{2} x^{2 \, m} e \log \left (x\right )^{2}}{2 \, f m} + \frac {2 \, b^{2} d^{3} f^{m} n x^{m} \log \left (c\right ) \log \left (x\right )}{f m} + \frac {3 \, b^{2} d^{2} f^{m} n x^{2 \, m} e \log \left (c\right ) \log \left (x\right )}{f m} + \frac {b^{2} d f^{m} n^{2} x^{3 \, m} e^{2} \log \left (x\right )^{2}}{f m} + \frac {b^{2} d^{3} f^{m} x^{m} \log \left (c\right )^{2}}{f m} + \frac {3 \, b^{2} d^{2} f^{m} x^{2 \, m} e \log \left (c\right )^{2}}{2 \, f m} + \frac {2 \, a b d^{3} f^{m} n x^{m} \log \left (x\right )}{f m} - \frac {2 \, b^{2} d^{3} f^{m} n^{2} x^{m} \log \left (x\right )}{f m^{2}} + \frac {3 \, a b d^{2} f^{m} n x^{2 \, m} e \log \left (x\right )}{f m} - \frac {3 \, b^{2} d^{2} f^{m} n^{2} x^{2 \, m} e \log \left (x\right )}{2 \, f m^{2}} + \frac {2 \, b^{2} d f^{m} n x^{3 \, m} e^{2} \log \left (c\right ) \log \left (x\right )}{f m} + \frac {b^{2} f^{m} n^{2} x^{4 \, m} e^{3} \log \left (x\right )^{2}}{4 \, f m} + \frac {2 \, a b d^{3} f^{m} x^{m} \log \left (c\right )}{f m} - \frac {2 \, b^{2} d^{3} f^{m} n x^{m} \log \left (c\right )}{f m^{2}} + \frac {3 \, a b d^{2} f^{m} x^{2 \, m} e \log \left (c\right )}{f m} - \frac {3 \, b^{2} d^{2} f^{m} n x^{2 \, m} e \log \left (c\right )}{2 \, f m^{2}} + \frac {b^{2} d f^{m} x^{3 \, m} e^{2} \log \left (c\right )^{2}}{f m} + \frac {2 \, a b d f^{m} n x^{3 \, m} e^{2} \log \left (x\right )}{f m} - \frac {2 \, b^{2} d f^{m} n^{2} x^{3 \, m} e^{2} \log \left (x\right )}{3 \, f m^{2}} + \frac {b^{2} f^{m} n x^{4 \, m} e^{3} \log \left (c\right ) \log \left (x\right )}{2 \, f m} + \frac {a^{2} d^{3} f^{m} x^{m}}{f m} - \frac {2 \, a b d^{3} f^{m} n x^{m}}{f m^{2}} + \frac {2 \, b^{2} d^{3} f^{m} n^{2} x^{m}}{f m^{3}} + \frac {3 \, a^{2} d^{2} f^{m} x^{2 \, m} e}{2 \, f m} - \frac {3 \, a b d^{2} f^{m} n x^{2 \, m} e}{2 \, f m^{2}} + \frac {3 \, b^{2} d^{2} f^{m} n^{2} x^{2 \, m} e}{4 \, f m^{3}} + \frac {2 \, a b d f^{m} x^{3 \, m} e^{2} \log \left (c\right )}{f m} - \frac {2 \, b^{2} d f^{m} n x^{3 \, m} e^{2} \log \left (c\right )}{3 \, f m^{2}} + \frac {b^{2} f^{m} x^{4 \, m} e^{3} \log \left (c\right )^{2}}{4 \, f m} + \frac {a b f^{m} n x^{4 \, m} e^{3} \log \left (x\right )}{2 \, f m} - \frac {b^{2} f^{m} n^{2} x^{4 \, m} e^{3} \log \left (x\right )}{8 \, f m^{2}} + \frac {a^{2} d f^{m} x^{3 \, m} e^{2}}{f m} - \frac {2 \, a b d f^{m} n x^{3 \, m} e^{2}}{3 \, f m^{2}} + \frac {2 \, b^{2} d f^{m} n^{2} x^{3 \, m} e^{2}}{9 \, f m^{3}} + \frac {a b f^{m} x^{4 \, m} e^{3} \log \left (c\right )}{2 \, f m} - \frac {b^{2} f^{m} n x^{4 \, m} e^{3} \log \left (c\right )}{8 \, f m^{2}} + \frac {a^{2} f^{m} x^{4 \, m} e^{3}}{4 \, f m} - \frac {a b f^{m} n x^{4 \, m} e^{3}}{8 \, f m^{2}} + \frac {b^{2} f^{m} n^{2} x^{4 \, m} e^{3}}{32 \, f m^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\left (f\,x\right )}^{m-1}\,{\left (d+e\,x^m\right )}^3\,{\left (a+b\,\ln \left (c\,x^n\right )\right )}^2 \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________